AccTEE: A WebAssembly-based Two-way Sandbox for Trusted Resource Accounting

Remote computation has numerous use cases such as cloud computing, client-side web applications or volunteer computing. Typically, these computations are executed inside a sandboxed environment for two reasons: first, to isolate the execution in order to protect the host environment from unauthorised access, and second to control and restrict resource usage. Often, there is mutual distrust between entities providing the code and the ones executing it, owing to concerns over three potential problems: (i) loss of control over code and data by the providing entity, (ii) uncertainty of the integrity of the execution environment for customers, and (iii) a missing mutually trusted accounting of resource usage. In this paper we present AccTEE, a two-way sandbox that offers remote computation with resource accounting trusted by consumers and providers. AccTEE leverages two recent technologies: hardware-protected trusted execution environments, and Web-Assembly, a novel platform independent byte-code format. We show how AccTEE uses automated code instrumentation for fine-grained resource accounting while maintaining confidentiality and integrity of code and data. Our evaluation of AccTEE in three scenarios – volunteer computing, serverless computing, and pay-by-computation for the web – shows a maximum accounting overhead of 10%

Warming the early Earth - CO2 reconsidered

Despite a fainter Sun, the surface of the early Earth was mostly ice-free. Proposed solutions to this so-called "faint young Sun problem" have usually involved higher amounts of greenhouse gases than present in the modern-day atmosphere. However, geological evidence seemed to indicate that the atmospheric CO2 concentrations during the Archaean and Proterozoic were far too low to keep the surface from freezing. With a radiative-convective model including new, updated thermal absorption coefficients, we found that the amount of CO2 necessary to obtain 273 K at the surface is reduced up to an order of magnitude compared to previous studies. For the late Archaean and early Proterozoic period of the Earth, we calculate that CO2 partial pressures of only about 2.9 mb are required to keep its surface from freezing which is compatible with the amount inferred from sediment studies. This conclusion was not significantly changed when we varied model parameters such as relative humidity or surface albedo, obtaining CO2 partial pressures for the late Archaean between 1.5 and 5.5 mb. Thus, the contradiction between sediment data and model results disappears for the late Archaean and early Proterozoic.Comment: 53 pages, 4 tables, 11 figures, published in Planetary and Space Scienc

Evaluating indoor positioning systems in a shopping mall : the lessons learned from the IPIN 2018 competition

The Indoor Positioning and Indoor Navigation (IPIN) conference holds an annual competition in which indoor localization systems from different research groups worldwide are evaluated empirically. The objective of this competition is to establish a systematic evaluation methodology with rigorous metrics both for real-time (on-site) and post-processing (off-site) situations, in a realistic environment unfamiliar to the prototype developers. For the IPIN 2018 conference, this competition was held on September 22nd, 2018, in Atlantis, a large shopping mall in Nantes (France). Four competition tracks (two on-site and two off-site) were designed. They consisted of several 1 km routes traversing several floors of the mall. Along these paths, 180 points were topographically surveyed with a 10 cm accuracy, to serve as ground truth landmarks, combining theodolite measurements, differential global navigation satellite system (GNSS) and 3D scanner systems. 34 teams effectively competed. The accuracy score corresponds to the third quartile (75th percentile) of an error metric that combines the horizontal positioning error and the floor detection. The best results for the on-site tracks showed an accuracy score of 11.70 m (Track 1) and 5.50 m (Track 2), while the best results for the off-site tracks showed an accuracy score of 0.90 m (Track 3) and 1.30 m (Track 4). These results showed that it is possible to obtain high accuracy indoor positioning solutions in large, realistic environments using wearable light-weight sensors without deploying any beacon. This paper describes the organization work of the tracks, analyzes the methodology used to quantify the results, reviews the lessons learned from the competition and discusses its future

Multiphase Nanostructure of a Quinary Metal Oxide Electrocatalyst Reveals a New Direction for OER Electrocatalyst Design

Ce-rich mixed metal oxides comprise a recently discovered class of -electrocatalysts for the oxygen evolution reaction (OER). In particular, at current densities below 10 mA cm^(−2), Ni_(0.3)Fe_(0.07)Co_(0.2)Ce_(0.43)O_x exhibits ¬superior activity compared to the corresponding transition metal oxides, despite the relative inactivity of ceria. To elucidate the enhanced activity and underlying catalytic mechanism, detailed structural characterization of this quinary oxide electrocatalyst is reported. Transmission electron microscopy imaging of cross-section films as-prepared and after electrochemical testing reveals a stable two-phase nanostructure composed of 3–5 nm diameter crystallites of fluorite CeO_2 intimately mixed with 3–5 nm crystallites of transition metal oxides alloyed in the rock salt NiO structure. Dosing experiments demonstrate that an electron flux greater than ≈1000 e Å^(−2) s^(−1) causes the inherently crystalline material to become amorphous. A very low dose rate of 130 e Å^(−2) s^(−1) is employed for atomic resolution imaging using inline holography techniques to reveal a nanostructure in which the transition metal oxide nanocrystals form atomically sharp boundaries with the ceria nanocrystals, and these results are corroborated with extensive synchrotron X-ray absorption spectroscopy measurements. Ceria is a well-studied cocatalyst for other heterogeneous and electrochemical reactions, and our discovery introduces biphasic cocatalysis as a design concept for improved OER electrocatalysts

Prioritizing sleep for healthy work schedules

Good sleep is advantageous to the quality of life. Sleep-related benefits are particularly helpful for the working class, since poor or inadequate amounts of sleep degrade work productivity and overall health. This review paper explores the essential role of sleep in healthy work schedules and primarily focuses on the timing of sleep in relation to the work period (that is, before, during and after work). Data from laboratory, field and modeling studies indicate that consistent amounts of sleep prior to work are fundamental to improved performance and alertness in the workplace. In addition, planned naps taken during work maintain appropriate levels of waking function for both daytime and night-time work. Clearly, sufficient sleep after work is vital in promoting recovery from fatigue. Recent data also suggest that the time interval between shifts should be adjusted according to the biological timing of sleep. Although sleep is more likely to be replaced by job and other activities in the real life, research shows that it is worthwhile to revise the work schedules in order to optimize sleep before, sometime during and after the work period. Therefore, we suggest establishing work-sleep balance, similar to work-life balance, as a principle for designing and improving work schedules

Selected isotope ratio measurements of light metallic elements (Li, Mg, Ca, and Cu) by multiple collector ICP-MS

The unique capabilities of multiple collector inductively coupled mass spectrometry (MC-ICP-MS) for high precision isotope ratio measurements in light elements as Li, Mg, Ca, and Cu are reviewed in this paper. These elements have been intensively studied at the Geological Survey of Israel (GSI) and other laboratories over the past few years, and the methods used to obtain high precision isotope analyses are discussed in detail. The scientific study of isotopic fractionation of these elements is significant for achieving a better understanding of geochemical and biochemical processes in nature and the environment

Geobiology of a lower Cambrian carbonate platform, Pedroche Formation, Ossa Morena Zone, Spain

The Cambrian Pedroche Formation comprises a mixed siliciclastic-carbonate succession recording subtidal deposition on a marine platform. Carbonate carbon isotope chemostratigraphy confirms previous biostratigraphic assignment of the Pedroche Formation to the Atdabanian regional stage of Siberia, correlative to Cambrian Series 2. At the outcrop scale, thrombolitic facies comprise ~. 60% of carbonate-normalized stratigraphy and coated-grains another ~. 10%. Petrographic point counts reveal that skeletons contribute at most 20% to thrombolitic inter-reef and reef-flank lithologies; on average, archaeocyath clasts make up 68% of skeletal materials. In contrast, petrographic point counts show that skeletons comprise a negligible volume of biohermal and biostromal thrombolite, associated nodular carbonate facies, and ooid, oncoid and peloid grainstone facies. As such, archaeocyathan reefal bioconstructions represent a specific and limited locus of skeletal carbonate production and deposition. Consistent with data from coeval, globally dispersed lower Cambrian successions, our analysis of the Pedroche Formation supports the view that lower Cambrian carbonates have more in common with earlier, Neoproterozoic deposits than with younger carbonates dominated by skeletal production and accumulation. © 2013 Elsevier B.V.Jessica R. Creveling, David Fernández-Remolar, Marta Rodríguez-Martínez, Silvia Menéndez, Kristin D. Bergmann, Benjamin C. Gill, John Abelson, Ricardo Amils, Bethany L. Ehlmann, Diego C. García-Bellido, John P. Grotzinger, Christian Hallmann, Kathryn M. Stack, Andrew H. Knol